Radia Perlman – A pioneer of young children computer pro - gramming

Network security - private communication in a public world

Adding Integrity to the Ephemerizer’s Protocol

We present a symbolic analysis of the ephemerizer’s protocol by Radia Perlman, using the CL-Atse tool from the AVISPA’s tool-suite. This protocol allows transmitting a data that will “disappear” (i.e. cannot be retrieved) after a certain time. We show that this protocol is secured for this property plus the secrecy of the data, but is trivially non secured for it’s integrity. Therefore, we pres...

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)

In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed by Radia Perlman. In this paper, we give a formal proof for correctness of the STP algorithm by showing that finally a single node is selected as the root of the tree and the loops are eliminated correctly. We use forma...

SOME PROPERTIES FOR FUZZY CHANCE CONSTRAINED PROGRAMMING

Convexity theory and duality theory are important issues in math- ematical programming. Within the framework of credibility theory, this paper rst introduces the concept of convex fuzzy variables and some basic criteria. Furthermore, a convexity theorem for fuzzy chance constrained programming is proved by adding some convexity conditions on the objective and constraint functions. Finally,...

Triton A Massively Parallel Mixed Mode Computer Designed to Support High Level Languages

We present the architecture of Triton a scalable mixed mode SIMD MIMD parallel computer The novel features of Triton are Support for high level machine independent pro gramming languages Fast SIMD MIMD mode switching Special hardware for barrier synchronization of multiple process groups A self routing dead lock free perfect shu e inter connect with latency hiding The architecture is the outcom...